-
1 programa de verificación
El diccionario Español-ruso económico > programa de verificación
-
2 programa de verificación
Испанско-русский универсальный словарь > programa de verificación
-
3 programa de verificación
• checking programDiccionario Técnico Español-Inglés > programa de verificación
-
4 programa de verificación
Diccionario Politécnica español-ruso > programa de verificación
-
5 programa de verificación de ortografía
• spellchecker• spelling checkerDiccionario Técnico Español-Inglés > programa de verificación de ortografía
-
6 programa
m1) программа2) заданный режим; заданная последовательность операций•ajustar el programa — изменять программу; подправлять программу
aprobar [autorizar] el programa — утверждать программу
cambiar el programa — изменять программу; заменять программу
corregir el programa — уточнять [исправлять, корректировать] программу
decretar el programa — декретировать [официально объявлять] программу
emplear el programa — применять [использовать] программу
implementar el programa — применять [использовать] программу
- programa admisiblerealizar el programa — осуществлять [реализовывать] программу
- programa agrario
- programa de ajuste económico
- programa alimentario
- programa alimenticio
- programa anual de producción
- programa aplicado
- programa de apoyo financiero
- programa de asistencia económica
- programa auxiliar
- programa básico
- programa científico-técnico
- programa de colaboración a largo plazo
- programa compilador
- programa complejo especial
- programa de computador
- programa de cómputo
- programa de la construcción de viviendas
- programa de control
- programa a corto plazo
- programa crediticio
- programa de créditos
- programa de los datos
- programa del desarrollo económico
- programa del desarrollo económico y social
- programa diagnóstico
- programa directivo
- programa director
- programa de diversificación de la producción
- programa económico
- programa económico externo
- programa económico del Gobierno
- programa de ensamblaje
- programa estándar
- programa estratégico de exportación
- programa de financiación
- programa de financiamiento
- programa financiero
- programa fondomonetarista
- programa generador de código
- programa general
- programa imitativo
- programa input-output
- programa de integración
- programa integral
- programa de inversión
- programa de inversiones
- programa a largo plazo
- programa lineal
- programa de mantenimiento de precios
- programa de marketing
- programa de medidas económicas
- programa de megamarketing
- programa múltiple
- programa de obras básicas
- programa de operación
- programa operativo
- programa optimizado
- programa óptimo
- programa de ordenador
- programa piloto
- programa planificado de producción
- programa preestablecido
- programa de preexportación
- programa de préstamos
- programa presupuestal
- programa principal
- programa prioritario
- programa de procesamiento
- programa de promoción
- programa de prueba
- programa de publicidad
- programa regional
- programa de simulación
- programa test
- programa de tratamiento
- programa de usuario
- programa de ventas
- programa de verificación -
7 verificación f del programa
верификация программы, проверка соответствия программы её спецификациямEl diccionario Español-ruso económico > verificación f del programa
-
8 verificación del programa
сущ.экон. верификация программы, проверка соответствия программы её спецификациямИспанско-русский универсальный словарь > verificación del programa
-
9 тест-программа
programa test, programa de verificaciónРусско-испанский финансово-экономическому словарь > тест-программа
-
10 тест-программа
-
11 испытательная программа
adjeng. programa de ensayo, programa de verificaciónDiccionario universal ruso-español > испытательная программа
-
12 checking program
s.programa de verificación, programa de control. -
13 spell-checker
s.1 corrector ortográfico (informática)2 revisor ortográfico, programa que revisa y corrige la ortografía de un texto, corrector ortográfico, programa de verificación de ortografía. -
14 spellchecker
s.programa de verificación de ortografía. -
15 spelling checker
s.revisor ortográfico, corrector de ortografía, corrector ortográfico, programa de verificación de ortografía. -
16 dato
m.1 piece of information, fact (hecho, cifra).datos (personales) (personal) details2 Dato.pres.indicat.1st person singular (yo) present indicative of spanish verb: datar.* * *1 (información) fact, piece of information, datum■ no pudimos resolver el problema por falta de datos we couldn't solve the problem due to lack of information\datos personales personal details* * *noun m.fact, piece of information- datos* * *SM1) (=información) piece of informationun dato interesante — an interesting fact o piece of information
otro dato que tener en cuenta es... — another thing to bear in mind is...
datos personales — personal details, particulars
2) (Mat) datum* * *a) ( elemento de información) piece of informationalguien le pasó el dato a la policía — (CS) somebody informed o (colloq) tipped off the police
darle un dato a alguien — (CS) to give somebody a tip
b) datos masculino plural (Inf) data (pl), information* * *= attribute value, data element, data item, datum [data, -pl.], fact, value, piece of information.Ex. Others have used possibility distributions for representing fuzzily known or incompletely known attribute values.Ex. The Working Group undertook to determine from the data available what data elements should be included for each type of authority.Ex. Information is held in files or databases, which are comprise of records, which in turn are comprised of fields or data items, which again may be comprised of subfields or data elements.Ex. Thus, having entered the authority datum correctly once, we could be sure that no matter how many bibliographic records used it they would all do so with mechanical consistency.Ex. Other data bases, which may be described as non-bibliographic, and are sometimes known as data banks, store actual facts and figures and text.Ex. A good initial value for this field will start the system off with a good guess so that claims for missing issues are not unreasonable at the beginning.Ex. On other occasions a user wants every document or piece of information on a topic traced, and then high recall must be sought, to the detriment of precision.----* alimentar datos = populate.* almacenamiento de datos = data storage.* añadir datos = make + additions.* archivo de datos = database [data base].* área de datos específicos de la clase de documento = material (or type of publication) specific details area.* área de datos matemáticos = mathematical data area.* auditoría de datos = data auditing, data audit.* banco de datos = data bank [databank], factual data bank.* banco de datos factual = factual data bank.* banco de datos terminológico = terminological data bank.* basado en los datos = data-driven.* basado en un gestor de bases de datos = DBMS-based.* base de datos = data bank [databank], database [data base], database software.* base de datos automatizada = computer database, computer-held database, computerised database, machine-readable database.* base de datos bibliográfica = bibliographic database.* base de datos bibliográfica de resúmenes = abstracts based bibliographic database.* base de datos catalográfica = catalogue database.* base de datos completa = full-provision database.* base de datos con información confidencial = intelligence database.* base de datos cruzada = cross database.* base de datos de acceso mediante suscripción = subscription database.* base de datos de autoridades = authority database.* base de datos de carburantes = TULSA.* base de datos de documentos primarios = source database.* base de datos de documentos secundarios = reference database.* base de datos de dominio público = public domain database.* base de datos de educación = ERIC.* base de datos de imágenes = image database, image bank.* base de datos de investigación = research database.* base de datos del gobierno de USA = CRECORD, FEDREG.* base de datos de lógica difusa = fuzzy database.* base de datos de medicina = MEDLINE.* base de datos de negocios = business database.* base de datos de pago = subscription database.* base de datos de patentes = WPI.* base de datos de propiedades = properties database.* base de datos de referencia = reference database.* base de datos de referencia a especialistas = referral database.* base de datos de registros de catálogo = catalogue record database.* base de datos de texto = text-oriented database, text database.* base de datos de texto completo = full text database.* base de datos de texto libre = free text database.* base de datos dirigida a un mercado específico = niche database.* base de datos distribuida = distributed database.* base de datos en CD-ROM = CD-ROM database.* base de datos en disco óptico = optical disc database.* base de datos en estado original = raw database.* base de datos en línea = online database.* base de datos estadística = statistical database.* base de datos externa = external database.* base de datos factual = factual database.* base de datos interna = in-house database.* base de datos jurídica = legal database.* base de datos multimedia = multimedia database.* base de datos no bibliográfica = non-bibliographic database.* base de datos numérica = numeric database, numerical database.* base de datos relacional = relational database.* base de datos residente = resident database.* base de datos terminológica = terminology database.* bloque de datos = data bloc.* bloque funcional de datos codificados = coded information block.* búfer de datos = data buffer.* bus de datos = databus.* búsqueda de datos = fact-finding.* campo de datos = datafield.* capturar datos = capture + data.* centro de datos = data centre.* codificación de datos = data-coding [data coding].* con datos no pertinentes = dirty [dirtier -comp., dirtiest -sup.].* conjunto de datos = data set [dataset].* contaminación de datos = data contamination.* corrupción de datos = data corruption.* creación de depósitos de datos = data warehousing.* creador de bases de datos = database producer.* dar datos de = give + details of.* dato concreto = hard fact.* datos = data [datum, -sing.], details, figure.* datos bibliográficos = bibliographic data, bibliodata.* datos biográficos = biodata.* datos concretos = specifics, the.* datos concretos y reales = hard data.* datos de contacto = contact details.* datos de entrada = input data.* datos de la tarjeta de crédito = credit card details.* datos demográficos = demographics.* datos desagregados por sexo = gender-disaggregated data.* datos empíricos = empirical data.* datos en bruto = raw data.* datos en estado bruto = raw facts.* datos en propiedad = property data.* datos erróneos = dirty data.* datos estadísticos = statistics, statistical data.* datos estadísticos de la biblioteca = library records, library statistics.* datos factuales = factual data.* datos legibles por máquina = machine-readable data.* datos numéricos = numerical data.* datos personales = personal details.* datos privados = property data.* de lectura de datos = data-capture.* depósito de datos = data warehouse.* depuración de datos = data cleaning.* descubrimiento de datos = data mining.* descubrimiento de información en las bases de datos = knowledge discovery in databases (KDD).* directorio de empresas en base de datos = company directory database.* dispositivo de almacenamiento de datos = store.* distribuidor de bases de datos = host system.* distribuidor de bases de datos en línea = online vendor.* EDI (Intercambio Electrónico de Datos) = EDI (Electronic Data Interchange).* entrada de datos = data entry, input, inputting.* entrada de datos sólo una vez = one-time entry.* estructura de datos = data structure.* extracción inteligente de datos = data mining.* fichero de salida de datos = communication output file.* gestión de bases de datos = database management.* gestión de datos = data handling.* gestor de bases de datos = DBMS system.* gestor de bases de datos relacionales = relational database management system.* grupo de datos = data set [dataset].* hoja con los datos básicos para Hacer Algo = data sheet [datasheet].* hoja de toma de datos = checklist [check-list], data sheet [datasheet].* impreso de recogida de datos = enquiry form, inquiry form.* industria de las bases de datos = database industry.* inserción de datos = input.* instrumento de recogida de datos = data collection instrument.* introducción de datos utilizando un teclado = keypunching.* introducir datos = key + data.* introducir datos en el ordenador = input.* introducir datos partiendo de cero = enter from + scratch.* introductor de datos en un ordenador = inputter.* limpieza de datos = data cleaning.* lista de datos = fact finder.* localización de datos = addressing.* manipulación de datos = data manipulation.* memoria intermedia de datos = data buffer.* memorizar datos = memorise + facts.* meta base de datos = meta-database.* migración de datos = data migration.* minería de datos = data mining.* modo de introducción de datos = input mode.* montar una base de datos = mount + database.* norma de entrada de datos = input standard.* operación sobre datos = data manipulation.* operario de entrada de datos = data entry operator.* paquete de entrada y comprobación de datos = data entry and validation package.* pérdida de datos = data loss.* personal de proceso de datos = operation staff.* preparación de los datos = data preparation.* procesamiento de datos = data processing.* procesamiento de datos numéricos = number-crunching.* proceso de datos = data processing, transaction processing.* productor de bases de datos = database producer.* programa de gestión de bases de datos = database management software.* protección de datos = data protection.* prototipo para el proceso de datos = data modelling.* proveedor de bases de datos = database provider.* recabar datos = solicit + data.* recoger datos = collect + data.* recoger datos para hacer estadísticas = collect + statistics.* recogida de datos = data collection, data gathering [data-gathering], fact-gathering, reporting, data collecting.* salida de datos = output.* sistema de proceso de datos = data processing system.* Sistema Internacional de Datos sobre Publicaciones Seriadas (ISDS) = ISDS (International Serials Data System).* suministrar datos = furnish + details.* suministro de datos = reporting.* tecla de borrado de datos = ERASE INPUT key.* tecla de introducción de datos = ENTER key.* técnico encargado del proceso de datos = data-processing professional.* tiempo de descarga de datos = download time, latency.* tráfico de datos de un modo intermitente = bursty traffic.* transformación de datos = data transformation.* transmisión de datos = data-flow, data transfer, data transmission.* tratamiento de datos = transaction processing.* unidad de datos = unit of data.* verificación de los datos = fact checking.* vía de transmisión de datos = data pathway, pathway.* * *a) ( elemento de información) piece of informationalguien le pasó el dato a la policía — (CS) somebody informed o (colloq) tipped off the police
darle un dato a alguien — (CS) to give somebody a tip
b) datos masculino plural (Inf) data (pl), information* * *= attribute value, data element, data item, datum [data, -pl.], fact, value, piece of information.Ex: Others have used possibility distributions for representing fuzzily known or incompletely known attribute values.
Ex: The Working Group undertook to determine from the data available what data elements should be included for each type of authority.Ex: Information is held in files or databases, which are comprise of records, which in turn are comprised of fields or data items, which again may be comprised of subfields or data elements.Ex: Thus, having entered the authority datum correctly once, we could be sure that no matter how many bibliographic records used it they would all do so with mechanical consistency.Ex: Other data bases, which may be described as non-bibliographic, and are sometimes known as data banks, store actual facts and figures and text.Ex: A good initial value for this field will start the system off with a good guess so that claims for missing issues are not unreasonable at the beginning.Ex: On other occasions a user wants every document or piece of information on a topic traced, and then high recall must be sought, to the detriment of precision.* alimentar datos = populate.* almacenamiento de datos = data storage.* añadir datos = make + additions.* archivo de datos = database [data base].* área de datos específicos de la clase de documento = material (or type of publication) specific details area.* área de datos matemáticos = mathematical data area.* auditoría de datos = data auditing, data audit.* banco de datos = data bank [databank], factual data bank.* banco de datos factual = factual data bank.* banco de datos terminológico = terminological data bank.* basado en los datos = data-driven.* basado en un gestor de bases de datos = DBMS-based.* base de datos = data bank [databank], database [data base], database software.* base de datos automatizada = computer database, computer-held database, computerised database, machine-readable database.* base de datos bibliográfica = bibliographic database.* base de datos bibliográfica de resúmenes = abstracts based bibliographic database.* base de datos catalográfica = catalogue database.* base de datos completa = full-provision database.* base de datos con información confidencial = intelligence database.* base de datos cruzada = cross database.* base de datos de acceso mediante suscripción = subscription database.* base de datos de autoridades = authority database.* base de datos de carburantes = TULSA.* base de datos de documentos primarios = source database.* base de datos de documentos secundarios = reference database.* base de datos de dominio público = public domain database.* base de datos de educación = ERIC.* base de datos de imágenes = image database, image bank.* base de datos de investigación = research database.* base de datos del gobierno de USA = CRECORD, FEDREG.* base de datos de lógica difusa = fuzzy database.* base de datos de medicina = MEDLINE.* base de datos de negocios = business database.* base de datos de pago = subscription database.* base de datos de patentes = WPI.* base de datos de propiedades = properties database.* base de datos de referencia = reference database.* base de datos de referencia a especialistas = referral database.* base de datos de registros de catálogo = catalogue record database.* base de datos de texto = text-oriented database, text database.* base de datos de texto completo = full text database.* base de datos de texto libre = free text database.* base de datos dirigida a un mercado específico = niche database.* base de datos distribuida = distributed database.* base de datos en CD-ROM = CD-ROM database.* base de datos en disco óptico = optical disc database.* base de datos en estado original = raw database.* base de datos en línea = online database.* base de datos estadística = statistical database.* base de datos externa = external database.* base de datos factual = factual database.* base de datos interna = in-house database.* base de datos jurídica = legal database.* base de datos multimedia = multimedia database.* base de datos no bibliográfica = non-bibliographic database.* base de datos numérica = numeric database, numerical database.* base de datos relacional = relational database.* base de datos residente = resident database.* base de datos terminológica = terminology database.* bloque de datos = data bloc.* bloque funcional de datos codificados = coded information block.* búfer de datos = data buffer.* bus de datos = databus.* búsqueda de datos = fact-finding.* campo de datos = datafield.* capturar datos = capture + data.* centro de datos = data centre.* codificación de datos = data-coding [data coding].* con datos no pertinentes = dirty [dirtier -comp., dirtiest -sup.].* conjunto de datos = data set [dataset].* contaminación de datos = data contamination.* corrupción de datos = data corruption.* creación de depósitos de datos = data warehousing.* creador de bases de datos = database producer.* dar datos de = give + details of.* dato concreto = hard fact.* datos = data [datum, -sing.], details, figure.* datos bibliográficos = bibliographic data, bibliodata.* datos biográficos = biodata.* datos concretos = specifics, the.* datos concretos y reales = hard data.* datos de contacto = contact details.* datos de entrada = input data.* datos de la tarjeta de crédito = credit card details.* datos demográficos = demographics.* datos desagregados por sexo = gender-disaggregated data.* datos empíricos = empirical data.* datos en bruto = raw data.* datos en estado bruto = raw facts.* datos en propiedad = property data.* datos erróneos = dirty data.* datos estadísticos = statistics, statistical data.* datos estadísticos de la biblioteca = library records, library statistics.* datos factuales = factual data.* datos legibles por máquina = machine-readable data.* datos numéricos = numerical data.* datos personales = personal details.* datos privados = property data.* de lectura de datos = data-capture.* depósito de datos = data warehouse.* depuración de datos = data cleaning.* descubrimiento de datos = data mining.* descubrimiento de información en las bases de datos = knowledge discovery in databases (KDD).* directorio de empresas en base de datos = company directory database.* dispositivo de almacenamiento de datos = store.* distribuidor de bases de datos = host system.* distribuidor de bases de datos en línea = online vendor.* EDI (Intercambio Electrónico de Datos) = EDI (Electronic Data Interchange).* entrada de datos = data entry, input, inputting.* entrada de datos sólo una vez = one-time entry.* estructura de datos = data structure.* extracción inteligente de datos = data mining.* fichero de salida de datos = communication output file.* gestión de bases de datos = database management.* gestión de datos = data handling.* gestor de bases de datos = DBMS system.* gestor de bases de datos relacionales = relational database management system.* grupo de datos = data set [dataset].* hoja con los datos básicos para Hacer Algo = data sheet [datasheet].* hoja de toma de datos = checklist [check-list], data sheet [datasheet].* impreso de recogida de datos = enquiry form, inquiry form.* industria de las bases de datos = database industry.* inserción de datos = input.* instrumento de recogida de datos = data collection instrument.* introducción de datos utilizando un teclado = keypunching.* introducir datos = key + data.* introducir datos en el ordenador = input.* introducir datos partiendo de cero = enter from + scratch.* introductor de datos en un ordenador = inputter.* limpieza de datos = data cleaning.* lista de datos = fact finder.* localización de datos = addressing.* manipulación de datos = data manipulation.* memoria intermedia de datos = data buffer.* memorizar datos = memorise + facts.* meta base de datos = meta-database.* migración de datos = data migration.* minería de datos = data mining.* modo de introducción de datos = input mode.* montar una base de datos = mount + database.* norma de entrada de datos = input standard.* operación sobre datos = data manipulation.* operario de entrada de datos = data entry operator.* paquete de entrada y comprobación de datos = data entry and validation package.* pérdida de datos = data loss.* personal de proceso de datos = operation staff.* preparación de los datos = data preparation.* procesamiento de datos = data processing.* procesamiento de datos numéricos = number-crunching.* proceso de datos = data processing, transaction processing.* productor de bases de datos = database producer.* programa de gestión de bases de datos = database management software.* protección de datos = data protection.* prototipo para el proceso de datos = data modelling.* proveedor de bases de datos = database provider.* recabar datos = solicit + data.* recoger datos = collect + data.* recoger datos para hacer estadísticas = collect + statistics.* recogida de datos = data collection, data gathering [data-gathering], fact-gathering, reporting, data collecting.* salida de datos = output.* sistema de proceso de datos = data processing system.* Sistema Internacional de Datos sobre Publicaciones Seriadas (ISDS) = ISDS (International Serials Data System).* suministrar datos = furnish + details.* suministro de datos = reporting.* tecla de borrado de datos = ERASE INPUT key.* tecla de introducción de datos = ENTER key.* técnico encargado del proceso de datos = data-processing professional.* tiempo de descarga de datos = download time, latency.* tráfico de datos de un modo intermitente = bursty traffic.* transformación de datos = data transformation.* transmisión de datos = data-flow, data transfer, data transmission.* tratamiento de datos = transaction processing.* unidad de datos = unit of data.* verificación de los datos = fact checking.* vía de transmisión de datos = data pathway, pathway.* * *1 (elemento de información) piece of informationno tengo más datos que el título de la obra the only thing I know about the work is its title, the only information I have about the work is its titleno dispongo de todos los datos I don't have all the information o details o factsme han dado un dato muy interesante (CS); I've been given a very interesting piece of information o ( colloq) a hot tipte voy a dar un dato, si no lo enchufas no funciona (CS hum); let me give you a tip: it won't work unless you plug it inCompuesto:* * *
Del verbo datar: ( conjugate datar)
dato es:
1ª persona singular (yo) presente indicativo
dató es:
3ª persona singular (él/ella/usted) pretérito indicativo
Multiple Entries:
datar
dato
datar ( conjugate datar) verbo intransitivo
to date;
data de hace muchos años it goes back many years
dato sustantivo masculino
datos personales personal details (pl)b)
datar
I verbo transitivo to date, put a date on
II verbo intransitivo datar de, to date back to o from: este libro data de la Edad Media, this book dates back to the Middle Ages
dato sustantivo masculino
1 piece of information 2 datos, Inform data
(pormenores) information: no tengo más datos sobre este autor, I don't have any more details about his author
datos personales, personal details
La traducción de dato es datum, pero solo se usa en situaciones muy formales. La traducción de datos es data (plural irregular). El singular más común de data es a piece of information.
' dato' also found in these entries:
Spanish:
filtrar
- filtración
- informativa
- informativo
- relevante
- consignar
- consultar
- equivocado
- falso
English:
data
- information
- tip
* * *dato nm1. [hecho, cifra] piece of information, fact;lo que necesitamos son datos concretos what we need is hard facts;el alto desempleo es un dato que hay que tener en cuenta the high level of unemployment is a factor which has to be borne in mind;datos [información] information, data;si no me das más datos, no voy a poderte aconsejar unless you give me more information, I won't be able to advise you;el ministerio aún no cuenta con todos los datos the ministry does not yet have all the information at its disposal;datos (personales) (personal) details;déjenos sus datos y nos pondremos en contacto con usted leave us your details and we will get in touch with youdatos bancarios bank details;datos estadísticos statistical data* * *m piece of information;datos pl information sg, data sg* * *dato nm1) : fact, piece of information2) datos nmpl: data, information* * *dato n (información) piece of information -
17 program testing
s.prueba de programa, verificación de programas, prueba del programa, puesta a punto del programa. -
18 program proving
s.prueba del programa, puesta a punto del programa, verificación de programas. -
19 верификация программы
n -
20 проверка соответствия программы её спецификациям
nDiccionario universal ruso-español > проверка соответствия программы её спецификациям
- 1
- 2
См. также в других словарях:
Verificación formal — La verificación formal es un método de validación estática (se valida a través del propio código del programa, a partir de una abstracción o de una representación simbólica), en el que partiendo de un conjunto axiomático, reglas de inferencia y… … Wikipedia Español
Contaminación vehicular en México — Este artículo o sección sobre medio ambiente y transporte necesita ser wikificado con un formato acorde a las convenciones de estilo. Por favor, edítalo para que las cumpla. Mientras tanto, no elimines este aviso puesto el 5 de mayo … Wikipedia Español
Base de datos de tablas de finales — Saltar a navegación, búsqueda Una interfaz típica para solicitar una base de datos de tablas. Para cada movimiento del Blanco, la base de datos devuelve el número de movimientos necesarios para ganar. Rc6 y Da6+ gana en cinco movimientos, por lo… … Wikipedia Español
XML Schema — es un lenguaje de esquema utilizado para describir la estructura y las restricciones de los contenidos de los documentos XML de una forma muy precisa, más allá de las normas sintácticas impuestas por el propio lenguaje XML. Se consigue así una… … Wikipedia Español
IMVU — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar al autor principa … Wikipedia Español
MMIC — Archivo:MMIC antenna.jpg MMIC antena. Los circuitos MMI o MMIC (Monolithic Microwave Integrated Circuits) son un tipo de circuitos integrados que operan en frecuencias de microondas, es decir, entre 300 MHz y 300 GHz. La técnica de fabricación de … Wikipedia Español
VHDL — es el acrónimo que representa la combinación de VHSIC y HDL, donde VHSIC es el acrónimo de Very High Speed Integrated Circuit y HDL es a su vez el acrónimo de Hardware Description Language. Es un lenguaje definido por el IEEE (Institute of… … Wikipedia Español
Check Wikipedia — Wikiproyecto:Check Wikipedia Saltar a navegación, búsqueda Esta página contiene de forma consciente fallos ortográficos. Los bots no deben intentar corregirlos. Atajo PR:CWPR:CW … Wikipedia Español
Método formal — En ingeniería de software un método formal es un camino a la construcción y análisis de modelos matemáticos que permitan una automatización del desarrollo de sistemas informáticos. Los métodos formales se caracterizan por emplear técnicas y… … Wikipedia Español
Proyecto de investigación — Saltar a navegación, búsqueda El proyecto de investigación es un procedimiento científico que usa al método científico para recabar todo tipo de información y formular hipótesis acerca de cierto fenómeno social o científico, empleando las… … Wikipedia Español
Autenticación — Autenticación[1] o autentificación[2] es el acto de establecimiento o confirmación de algo (o alguien) como auténtico, es decir que reclama hecho por, o sobre la cosa son verdadero. La autenticación de un objeto puede significar (pensar) la… … Wikipedia Español